The Free On-line Dictionary of Computing (30 December 2018):

disjoint union

   In domain theory, a union (or sum) which results in a domain
   without a least element.